1. Computability /
پدیدآورنده : George J. Tourlakis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
2. Lectures in Logic and Set Theory
پدیدآورنده : / George Tourlakis
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع :
3. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
4. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
5. Lectures in logic and set theory
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
6. Lectures in logic and set theory
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
7. Mathematical logic
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
T68
2008
8. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
9. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
10. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
11. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68M3
12. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
13. Mathematical logic
پدیدآورنده : George Tourlakis
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهگیلویه و بویراحمد)
موضوع : Logic, Symbolic and mathematical, Textbooks
رده :
511
,.
3
,.
T68M
,
2008
14. Mathematical logic
پدیدآورنده : Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68
15. Theory of Computation
پدیدآورنده : / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
